Victor Khomenko: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 1.79 MB

english, 2018

2

Lucent Process Models and Translucent Event Logs

van der Aalst, Wil M.P., Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 3.02 MB

2019

3

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 434 KB

english, 2018

4

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || Petri Net Model Checking with LoLA 2

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 234 KB

english, 2018

5

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || Self-adaptive Model Checking, the Next Step?

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 518 KB

english, 2018

6

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks

Richard Banks, Victor Khomenko, L. Jason Steggles

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 398 KB

english, 2009

7

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes

Thomas Chatain, Victor Khomenko

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 194 KB

english, 2007

8

Canonical prefixes of Petri net unfoldings

Victor Khomenko, Maciej Koutny, Walter Vogler

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 272 KB

english, 2003

9

Merged processes: a new condensed representation of Petri net behaviour

Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler

Journal:

Acta Informatica

Year:

2006

Language:

english

File:

PDF, 499 KB

english, 2006

10

STG decomposition strategies in combination with unfolding

Victor Khomenko, Mark Schaefer, Walter Vogler, Ralf Wollowski

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 903 KB

english, 2009

11

Verification of bounded Petri nets using integer programming

Victor Khomenko, Maciej Koutny

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 860 KB

english, 2007

12

Analytic Solution of the Approach of Quantum Vortices Towards Reconnection

Boué, Laurent, Khomenko, Dmytro, L’vov, Victor S., Procaccia, Itamar

Journal:

Physical Review Letters

Year:

2013

Language:

english

File:

PDF, 276 KB

english, 2013

13

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete

Khomenko, Victor, Meyer, Roland

Year:

2009

Language:

english

File:

PDF, 281 KB

english, 2009

14

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - Algebra of Parameterised Graphs

Mokhov, Andrey, Khomenko, Victor, Alekseyev, Arseniy, Yakovlev, Alex

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

15

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Output-Determinacy and Asynchronous Circuit Synthesis

Khomenko, Victor, Schaefer, Mark, Vogler, Walter

Year:

2007

Language:

english

File:

PDF, 272 KB

english, 2007

16

Recent advances in unfolding technique

Bonet, Blai, Haslum, Patrik, Khomenko, Victor, Thiébaux, Sylvie, Vogler, Walter

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 673 KB

english, 2014

17

[IEEE 2011 17th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Ithaca, NY, USA (2011.04.27-2011.04.29)] 2011 17th IEEE International Symposium on Asynchronous Circuits and Systems - Logic Decomposition of Asynchronous Circuits Using STG Unfoldings

Khomenko, Victor

Year:

2011

Language:

english

File:

PDF, 311 KB

english, 2011

18

[IEEE 2010 Conference on Control and Fault-Tolerant Systems (SysTol) - Nice, France (2010.10.6-2010.10.8)] 2010 Conference on Control and Fault-Tolerant Systems (SysTol) - Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings

Madalinski, Agnes, Khomenko, Victor

Year:

2010

Language:

english

File:

PDF, 181 KB

english, 2010

19

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Factored Planning: From Automata to Petri Nets

Jezequel, Loig, Fabre, Eric, Khomenko, Victor

Year:

2013

Language:

english

File:

PDF, 398 KB

english, 2013

20

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Flat Arbiters

Mokhov, Andrey, Khomenko, Victor, Yakovlev, Alex

Year:

2009

Language:

english

File:

PDF, 392 KB

english, 2009

21

[IEEE 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Newcastle upon Tyne, United Kingdom (2008.04.7-2008.04.10)] 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems - Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings

Khomenko, Victor

Year:

2008

Language:

english

File:

PDF, 364 KB

english, 2008

22

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings

Khomenko, Victor

Year:

2007

Language:

english

File:

PDF, 227 KB

english, 2007

23

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - On Dual-Rail Control Logic for Enhanced Circuit Robustness

Mokhov, Andrey, Khomenko, Victor, Sokolov, Danil, Yakovlev, Alex

Year:

2012

File:

PDF, 829 KB

2012

24

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings

Khomenko, Victor

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2009

Language:

english

File:

PDF, 762 KB

english, 2009

25

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - Improved Parallel Composition of Labelled Petri Nets

Alekseyev, Arseniy, Khomenko, Victor, Mokhov, Andrey, Wist, Dominic, Yakovlev, Alex

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

26

Algebra of Parameterised Graphs

Mokhov, Andrey, Khomenko, Victor

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 672 KB

english, 2014

27

Factored Planning

Jezequel, Loïg, Fabre, Eric, Khomenko, Victor

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2015

Language:

english

File:

PDF, 883 KB

english, 2015

28

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Diagnosability under Weak Fairness

Germanos, Vasileios, Haar, Stefan, Khomenko, Victor, Schwoon, Stefan

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

29

[IEEE 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Mountain View, CA, USA (2015.5.4-2015.5.6)] 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems - Design and Verification of Speed-Independent Multiphase Buck Controller

Sokolov, Danil, Khomenko, Victor, Mokhov, Andrey, Yakovlev, Alex, Lloyd, David

Year:

2015

Language:

english

File:

PDF, 382 KB

english, 2015

30

[American Society of Civil Engineers 11th Multidisciplinary Conference on Sinkholes and the Engineering and Environmental Impacts of Karst - Tallahassee, Florida, United States (September 22-26, 2008)] Sinkholes and the Engineering and Environmental Impacts of Karst - Estimation of Sinkhole Danger at a One-Building's Site in Moscow, Russia

Khomenko, Victor P., Aleshina, Liudmila A.

Year:

2008

Language:

english

File:

PDF, 791 KB

english, 2008

31

[IEEE 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Mountain View, CA, USA (2015.5.4-2015.5.6)] 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems - Opportunistic Merge Element

Mokhov, Andrey, Khomenko, Victor, Sokolov, Danil, Yakovlev, Alex

Year:

2015

Language:

english

File:

PDF, 346 KB

english, 2015

32

Counterflow-induced decoupling in superfluid turbulence

Khomenko, Dmytro, L'vov, Victor S., Pomyalov, Anna, Procaccia, Itamar

Journal:

Physical Review B

Year:

2016

Language:

english

File:

PDF, 504 KB

english, 2016

33

[American Society of Civil Engineers Ninth Multidisciplinary Conference on Sinkholes and the Engineering and Environmental Impacts of Karst - Huntsville, Alabama, United States (September 6-10, 2003)] Sinkholes and the Engineering and Environmental Impacts of Karst - The Main Results of Engineering Karstology Research Conducted in Dzerzhinsk, Russia (1952–2002)

Tolmachev, Vladimir, Ilyin, Alexander, Gantov, Boris, Leonenko, Mikhail, Khomenko, Victor, Savarensky, Igor

Year:

2003

Language:

english

File:

PDF, 664 KB

english, 2003

34

Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings*

Madalinski, Agnes, Khomenko, Victor

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

35

[IEEE 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Lausanne, Switzerland (2017.3.27-2017.3.31)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 - Benefits of asynchronous control for analog electronics: Multiphase buck case study

Sokolov, Danil, Dubikhin, Vladimir, Khomenko, Victor, Lloyd, David, Mokhov, Andrey, Yakovlev, Alex

Year:

2017

Language:

english

File:

PDF, 430 KB

english, 2017

36

[IEEE 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Zaragoza (2017.6.25-2017.6.30)] 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Formal Design and Verification of an Asynchronous SRAM Controller

Khomenko, Victor, Mokhov, Andrey, Sokolov, Danil, Yakovlev, Alex

Year:

2017

Language:

english

File:

PDF, 580 KB

english, 2017

37

[IEEE 2017 New Generation of CAS (NGCAS) - Genova, Italy (2017.9.6-2017.9.9)] 2017 New Generation of CAS (NGCAS) - Asynchronous Arbitration Primitives for New Generation of Circuits and Systems

Mokhov, Andrey, Sokolov, Danil, Khomenko, Victor, Yakovlev, Alex

Year:

2017

Language:

english

File:

PDF, 387 KB

english, 2017

38

[IEEE 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - San Diego, CA (2017.5.21-2017.5.24)] 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - WAITX: An Arbiter for Non-persistent Signals

Khomenko, Victor, Sokolov, Danil, Mokhov, Andrey, Yakovlev, Alex

Year:

2017

Language:

english

File:

PDF, 367 KB

english, 2017

39

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || Pattern Matching in Link Streams: A Token-Based Approach

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 1.60 MB

english, 2018

40

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || One Net Fits All

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 817 KB

english, 2018

41

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || Integrating Simulink Models into the Model Checker Cosmos

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 526 KB

english, 2018

42

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

43

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || Analysis and Synthesis of Weighted Marked Graph Petri Nets

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 536 KB

english, 2018

44

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 10877 || Factorisation of Petri Net Solvable Transition Systems

Khomenko, Victor, Roux, Olivier H.

Year:

2018

Language:

english

File:

PDF, 602 KB

english, 2018

45

[IEEE 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Vienna (2018.5.13-2018.5.16)] 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft

Sokolov, Danil, Khomenko, Victor, Yakovlev, Alex, Lloyd, David

Year:

2018

File:

PDF, 7 KB

2018

46

Formal Properties of Petri’s Cycloid Systems

Valk, Rüdiger, Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 2.61 MB

2019

47

Synthesis for Various Petri Net Classes with Union/Find

Wolf, Karsten, Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 1.60 MB

2019

48

Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods

Devillers, Raymond, Hujsa, Thomas, Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 398 KB

2019

49

Sagging-collapse sinkholes: simulation modelling

Khomenko, Victor, Zheltenkov, A., Mottaeva, A.

Journal:

E3S Web of Conferences

Year:

2020

File:

PDF, 2.78 MB

2020

50

[IEEE 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Salt Lake City, UT, USA (2020.5.17-2020.5.20)] 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Handshake Verification in WORKCRAFT

Khomenko, Victor, Sokolov, Danil, Yakovlev, Alex, Lloyd, David

Year:

2020

File:

PDF, 135 KB

2020